Exploring the power of converse events

نویسندگان

  • Guillaume Aucher
  • Andreas Herzig
چکیده

Dynamic epistemic logic as viewed by Baltag, Moss and Solecki (BMS) and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, BMS adds dynamics to epistemic logic by introducing so-called event models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily introduce converse events. In this paper we add epistemics to this, and call the resulting logic epistemic dynamic logic (EDL). We show that BMS can be translated into EDL thanks to this use of the converse operator: it enables us to translate the structure of the event model directly within a particular axiomatization of EDL, without having to refer to a particular epistemic event model in the language (as done in BMS). It follows that EDL is more expressive and general than BMS and we characterize semantically and syntactically in EDL this embedding of BMS.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From DEL to EDL : Exploring the Power of Converse Events

Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistemic logic by introducing so-called epistemic action models as syntactic objects into the language. On the other hand, PDL has instead transition relations between possible worlds. This last approach allows to easily intr...

متن کامل

Good, bad and ugly: Exploring the Machiavellian power dynamics of leadership in medical education

Introduction: Medical education requires participation of variousstakeholders and this contributes to power dynamics operating atmultiple levels. Personality traits of an individual can affect thesmooth execution of the educational programmes and eventuallythe professionalism of the environment. With the increased focuson leadership traits in medical education and collaboration inhealth care se...

متن کامل

Exploring Dialogism and Multivocality in L2 Classroom-Discourse Architecture in Iran

Critical pedagogy (CP), as a poststructuralist educational movement, challenges the asymmetrical, power-over nature of classroom discourse and seeks to accommodate multivocality in the classroom and in the society. This study probed the discourse architecture of EFL classrooms in Iran. Specifically, it aimed to explore to what extent Iranian EFL classrooms have stepped away from the teacher-dom...

متن کامل

Exploring the relationship between land use and surface water quality using multivariate statistics in arid and semi-arid regions

The relative impacts of different types of land use on the surface water quality are yet to be ascertained and quantified. In this paper, the influence of different types of land use on surface water quality is investigated. Rain events samples from different land use in the central plateau, Iran, were analyzed for major ions. Statistical analyses were employed to examine the statistical relati...

متن کامل

مروری بر روش های اندازه گیری اتفاقات ناخواسته در نظام سلامت و بررسی نقاط ضعف و قوت آن ها 

Background: A variety of methods are available for identifying and measuring adverse events and medical errors in healthcare. The aim of this study is to review these methods with their strengths and weaknesses. Methods: Electronic databases including Medline, Embase, Google Scholar and Iran Medex were searched to identify and summaries relevant studies. Results: Different methods have been u...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011